function search_jump() {
    var s = document.getElementById("search_input").value;
    $.ajax({
        url: "${pageContext.request.contextPath}/searchIndex",
        contentType: "application/json",
        type: "POST",
        data: JSON.stringify({
            str: s
        }),
        dataType: JSON,
        success: function (result) {
            if (result === true) {
                window.location.href="/searchIndex";
            } else if (result === false) {
                alert("失败");
            }
        }
    })
}
